Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
نویسندگان
چکیده
منابع مشابه
Rerepresenting and Restructuring Domain Theories: A Constructive Induction Approach
Theory revision integrates inductive learning and background knowledge by combining training examples with a coarse domain theory to produce a more accurate theory. There are two challenges that theory revision and other theory-guided systems face. First, a representation language appropriate for the initial theory may be inappropriate for an improved theory. While the original representation m...
متن کاملConstructive and Non-constructive Asynchronous Simulation
From its inception it was known that qualitative reasoning had a problem with the generation of spurious behaviours, and a great deal of effort has been expended in tackling this problem . Two approaches have been taken to constraint based qualitative simulation : constructive and non-constructive, though a thorough and objective examination of the operation and results of performing qualitativ...
متن کاملA Constructive and Modular Approach to Decentralized Supervisory Control Problems
We plunge decentralized control problems into modular ones to benefit from the know-how of modular control theory: any decentralized control problem is associated to a natural modular control problem, which over-approximates it. Then, we discuss how a solution of the latter problem delivers a solution of the former.
متن کاملMathematical Logic : Constructive a N D Non - Constructive Operations
Early in the century, especially in connection with Hubert 's treatment of geometry (1899), it was being said tha t the theorems of an axiomatic theory express truths about whatever systems of objects make the axioms true. In the simplest case, a system S consists of a non-empty set D (the domain), in which there are distinguished certain individuals, and over which there are defined certain %-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2017
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2017.010